机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
机译:需求规范有什么问题?常规软件需求思考的基本失败分析和正确解决方案的一些建议
机译:扩展EAST-ADL2以支持汽车软件的方面需求规范和分析
机译:使用国际标准识别,规范和测量分配给实时嵌入式软件的系统非功能性要求
机译:伤口玻璃纤维滤芯和逆转录PCR灵敏快速检测大批量水样中的贾第虫囊肿和小隐孢子虫卵囊
机译:105 K东离子交换和滤芯过滤器重启计算机软件用户文档
机译:105 K东离子交换和滤芯过滤器重启计算机软件要求规范